logical implication
a logical relation between propositions p and q of the form 'if p then q'; if p is true then q cannot be false • Syn: implication, conditional relation • Derivationally related forms: implicational (for: implication), imply (for: implication), implicate (for: implication) • Hypernyms: logical relation
|
|